計算理論の基礎 3